Getting it right the first time: Verification of Behavior-based Multirobot Missions
نویسندگان
چکیده
Position Paper Getting it right the first time: Verification of Behavior-based Multirobot Missions Damian Lyons, Ronald Arkin, Shu Jiang, Dagan Harrington and Matthew O'Brien Dept. Of Computer & Information Science, Fordham University, Bronx NY 10458 School of Interactive Computing, Georgia Institute of Technology, Atlanta GA 30332 {dlyons,dharrington5}@fordham.edu, {arkin, sjiang, mjobrien}@cc.gatech.edu
منابع مشابه
Getting it Right the First Time: Predicted Performance Guarantees from the Analysis of Emergent Behavior in Autonomous and Semi-autonomous Systems
A crucially important aspect for mission-critical robotic operations is ensuring as best as possible that an autonomous system be able to complete its task. In a project for the Defense Threat Reduction Agency (DTRA) we are developing methods to provide such guidance, specifically for counter-Weapons of Mass Destruction (C-WMD) missions. In this paper, we describe the scenarios under considerat...
متن کاملPerformance verification for robot missions in uncertain environments
Establishing a-priori mission performance guarantees is crucial if autonomous robots are to be used with confidence in missions where failure could incur high costs in life and property damage. Automatic mission software verification, in addition to simulation and experimental benchmarking, is a key component of the solution for establishing performance guarantees. This component requires autom...
متن کاملModeling, Analysis and Design for Multi-robot Exploration Based on Petri Nets
The use of multiple autonomous robots can significantly reduce the time to finish a given mission. In this paper, a totally distributed coordination algorithm is developed to provide robustness to multirobot missions, in the context of the exploration of unknown environment. The analysis and design of the coordination algorithm require formal modeling methodologies. We propose a stochastic Petr...
متن کاملComplex Tasks Allocation for Multi Robot Teams under Communication Constraints
The Multirobot Task Allocation (MRTA) paradigm is widely used in multirobot cooperation schemes, e.g. for observation, surveillance and tracking missions. Market-based approaches have yielded effective distributed solutions for such missions, showing the ability to manage heterogeneous, dynamic and robust robot teams. Two major challenges remain however poorly tackled: the management of inter-r...
متن کاملDesign, Control, and Applications of Real-World Multirobot Systems
The field of multiagent robotics has recently reached a level of maturity in that systems are beginning to transition from proof-of-concept laboratory environments to deployed real-world systems. When we started planning for this special issue of IEEE Robotics & Automation Magazine in the early spring of 2007, we hoped to capture this exciting development trend. With a lineup of six strong arti...
متن کامل